home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / oper_sys / emerald / emrldsys.lha / Language / Compiler / Builtins / real_String.m < prev    next >
Text File  |  1990-08-16  |  3KB  |  98 lines
  1. % 
  2. % @(#)real_String.m    1.3  3/16/88
  3. %
  4. import _RISCObject from "Builtins"
  5. export _StringObject to "Builtins"
  6.  
  7. const _StringObject == immutable object _StringObject
  8.   export getSignature, create, literal
  9.  
  10.   const StringType == immutable type StringType
  11.     function getElement [index : Integer] -> [e : Character]
  12.     function getSlice [lb : Integer, length : Integer] -> [a : String]
  13.     function || [o : String] -> [r : String]
  14.       % r <- self || o
  15.     function asString -> [r : String]
  16.       % r <- self
  17.     function > [o : String] -> [r : Boolean]
  18.       % r <- self > o
  19.     function >= [o : String] -> [r : Boolean]
  20.       % r <- self >= o
  21.     function < [o : String] -> [r : Boolean]
  22.       % r <- self < o
  23.     function <= [o : String] -> [r : Boolean]
  24.       % r <- self <= o
  25.     function = [o : String] -> [r : Boolean]
  26.       % r <- self = o
  27.     function != [o : String] -> [r : Boolean]
  28.       % r <- self != o
  29.     function length -> [ r : Integer ]
  30.     operation lowlevelsleazysetelement [Integer, Character]
  31.   end StringType
  32.   function getSignature -> [result : Signature]
  33.     result <- StringType
  34.   end getSignature
  35.   
  36.   function literal [rep : _RISCObject, offset : Integer, length : Integer] 
  37.     -> [result : StringType]
  38.     var strindex, repindex, limit : Integer
  39.     if rep.lowerbound + offset + length > rep.upperbound + 1 then
  40.       returnandfail
  41.     end if
  42.     result <- String.create[length]
  43.     strindex <- 0
  44.     repindex <- rep.lowerbound + offset
  45.     
  46.     limit <- length
  47.     loop
  48.       exit when strindex >= limit
  49.       result.lowlevelsleazysetelement[strindex, rep(repindex)]
  50.       strindex <- strindex + 1
  51.       repindex <- repindex + 1
  52.     end loop
  53.   end literal
  54.   operation create[length : Integer] -> [result : StringType]
  55.     result <- immutable object aString
  56.       export getElement, getSlice, ||, asString, >, >=, <, <=, =, !=, length,
  57.     lowlevelsleazysetelement
  58.  
  59.       function getElement [index : Integer] -> [e : Character]
  60.     primitive 011 [e] <- [index]
  61.       end getElement
  62.       function getSlice [lb : Integer, length : Integer] -> [a : String]
  63.     primitive 111 [a] <- [lb, length]
  64.       end getSlice
  65.       function || [o : String] -> [r : String]
  66.     primitive 211 [r] <- [o]
  67.       end ||
  68.       function asString -> [r : String]
  69.     primitive 311 [r] <- []
  70.       end asString
  71.       function > [o : String] -> [r : Boolean]
  72.     primitive 411 [r] <- [o]
  73.       end >
  74.       function >= [o : String] -> [r : Boolean]
  75.     primitive 511 [r] <- [o]
  76.       end >=
  77.       function < [o : String] -> [r : Boolean]
  78.     primitive 611 [r] <- [o]
  79.       end <
  80.       function <= [o : String] -> [r : Boolean]
  81.     primitive 711 [r] <- [o]
  82.       end <=
  83.       function = [o : String] -> [r : Boolean]
  84.     primitive 811 [r] <- [o]
  85.       end =
  86.       function != [o : String] -> [r : Boolean]
  87.     primitive 911 [r] <- [o]
  88.       end !=
  89.       function length -> [ r : Integer ]
  90.     primitive 1011 [r] <- []
  91.       end length
  92.       operation lowlevelsleazysetelement [i : Integer, c : Character]
  93.     primitive 1111 [] <- [i, c]
  94.       end lowlevelsleazysetelement
  95.     end aString
  96.   end create
  97. end _StringObject
  98.